%0 Conference Paper %1 conf/agp/FerrucciPS94 %A Ferrucci, Filomena %A Pacini, Giuliano %A Sessa, Maria I. %B GULP-PRODE (1) %D 1994 %E Alpuente, María %E Barbuti, Roberto %E Ramos, Isidro %K dblp %P 388-402 %T Loop Checking for Reduced SLD-derivations. %U http://dblp.uni-trier.de/db/conf/agp/gulp-prode1994-1.html#FerrucciPS94

@inproceedings{conf/agp/FerrucciPS94, added-at = {2004-11-30T00:00:00.000+0100}, author = {Ferrucci, Filomena and Pacini, Giuliano and Sessa, Maria I.}, biburl = {https://www.bibsonomy.org/bibtex/24ec90fb4de4163238f9354e59cecaee0/dblp}, booktitle = {GULP-PRODE (1)}, crossref = {conf/agp/1994-1}, date = {2004-11-30}, description = {dblp}, editor = {Alpuente, María and Barbuti, Roberto and Ramos, Isidro}, interhash = {f35dc03633a676f77219bc0532922f64}, intrahash = {4ec90fb4de4163238f9354e59cecaee0}, keywords = {dblp}, pages = {388-402}, timestamp = {2004-11-30T00:00:00.000+0100}, title = {Loop Checking for Reduced SLD-derivations.}, url = {http://dblp.uni-trier.de/db/conf/agp/gulp-prode1994-1.html#FerrucciPS94}, year = 1994 }