@INPROCEEDINGS{Hanus88PLILP,
author = "Hanus, M.",
title = "Formal Specification of a Prolog Compiler",
year = "1988",
booktitle = "Proc. of the International Workshop on Programming Language Implementation and Logic Programming",
address = "Orl\'eans",
publisher = "Springer LNCS 348",
pages = "273-282" }