A Formal Definition of an Abstract Prolog Compiler (Extended Abstract)

Sorry, there's nothing here.

Cite this paper

@inproceedings{GarcaMartn1993AFD, title={A Formal Definition of an Abstract Prolog Compiler (Extended Abstract)}, author={Julio Garc{\'i}a-Mart{\'i}n and Juan Jos{\'e} Moreno-Navarro}, booktitle={AMAST}, year={1993} }