Alberto Pettorossi, Maurizio Proietti
Transformation Rules for Logic Programs with Goals as Arguments
LOPSTR, 1999.
@inproceedings{LOPSTR-1999-PettorossiP, author = "Alberto Pettorossi and Maurizio Proietti", booktitle = "{Selected Papers of the Ninth International Workshop on Logic Programming Synthesis and Transformation}", doi = "10.1007/10720327_11", isbn = "3-540-67628-7", pages = "176--195", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Transformation Rules for Logic Programs with Goals as Arguments}", volume = 1817, year = 1999, }