Inproceedings,
SLD - Resolution with Reflection.
J. Barklund, P. Dell'Acqua, S. Costantini, and G. Lanzarone.ILPS, page 554-568. MIT Press, (1994)
Meta data
- BibTeX key
- conf/slp/BarklundDCL94
- entry type
- inproceedings
- booktitle
- ILPS
- year
- 1994
- pages
- 554-568
- publisher
- MIT Press
- crossref
- conf/slp/1994
- isbn
- 0-262-52191-1
- url
- http://dblp.uni-trier.de/db/conf/slp/slp94.html#BarklundDCL94
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/slp/BarklundDCL94
%A Barklund, Jonas
%A Dell'Acqua, Pierangelo
%A Costantini, Stefania
%A Lanzarone, Gaetano Aurelio
%B ILPS
%D 1994
%E Bruynooghe, Maurice
%I MIT Press
%K dblp
%P 554-568
%T SLD - Resolution with Reflection.
%U http://dblp.uni-trier.de/db/conf/slp/slp94.html#BarklundDCL94
%@ 0-262-52191-1
@inproceedings{conf/slp/BarklundDCL94,
added-at = {2013-12-04T00:00:00.000+0100},
author = {Barklund, Jonas and Dell'Acqua, Pierangelo and Costantini, Stefania and Lanzarone, Gaetano Aurelio},
biburl = {https://www.bibsonomy.org/bibtex/2367c8dedab06c08d850ff734821ca1f6/dblp},
booktitle = {ILPS},
crossref = {conf/slp/1994},
editor = {Bruynooghe, Maurice},
interhash = {da819283f70d40905c6cf70775ad06f1},
intrahash = {367c8dedab06c08d850ff734821ca1f6},
isbn = {0-262-52191-1},
keywords = {dblp},
pages = {554-568},
publisher = {MIT Press},
timestamp = {2013-12-05T11:34:43.000+0100},
title = {SLD - Resolution with Reflection.},
url = {http://dblp.uni-trier.de/db/conf/slp/slp94.html#BarklundDCL94},
year = 1994
}