Filomena Ferrucci, Giuliano Pacini, Maria I. Sessa. Loop Checking for Reduced SLD-derivations. In María Alpuente, Roberto Barbuti, Isidro Ramos, editors, 1994 Joint Conference on Declarative Programming, GULP-PRODE 94 Peñiscola, Spain, September 19-22, 1994, Volume 1. pages 388-402, 1994.
@inproceedings{FerrucciPS94, title = {Loop Checking for Reduced SLD-derivations}, author = {Filomena Ferrucci and Giuliano Pacini and Maria I. Sessa}, year = {1994}, researchr = {https://researchr.org/publication/FerrucciPS94}, cites = {0}, citedby = {0}, pages = {388-402}, booktitle = {1994 Joint Conference on Declarative Programming, GULP-PRODE 94 Peñiscola, Spain, September 19-22, 1994, Volume 1}, editor = {María Alpuente and Roberto Barbuti and Isidro Ramos}, }