@techreport{suarez:inria-00074854, TITLE = {{A Proof-theoretic approach to logic programming}}, AUTHOR = {Suarez, Miguel}, URL = {https://inria.hal.science/inria-00074854}, NOTE = {Projet CHLOE}, TYPE = {Research Report}, NUMBER = {RR-1818}, INSTITUTION = {{INRIA}}, YEAR = {1992}, PDF = {https://inria.hal.science/inria-00074854/file/RR-1818.pdf}, HAL_ID = {inria-00074854}, HAL_VERSION = {v1}, }