%0 Conference Paper %1 conf/jelia/ConstantiniDL94 %A Costantini, Stefania %A Dell'Acqua, Pierangelo %A Lanzarone, Gaetano Aurelio %B JELIA %D 1994 %E MacNish, Craig %E Pearce, David %E Pereira, Luís Moniz %I Springer %K dblp %P 400-413 %T Extending Horn Clause Theories by Reflection Principles. %U http://dblp.uni-trier.de/db/conf/jelia/jelia94.html#ConstantiniDL94 %V 838 %@ 3-540-58332-7

@inproceedings{conf/jelia/ConstantiniDL94, added-at = {2017-05-20T00:00:00.000+0200}, author = {Costantini, Stefania and Dell'Acqua, Pierangelo and Lanzarone, Gaetano Aurelio}, biburl = {https://www.bibsonomy.org/bibtex/2b8a79df6f404fe7e06cedfdd31067710/dblp}, booktitle = {JELIA}, crossref = {conf/jelia/1994}, editor = {MacNish, Craig and Pearce, David and Pereira, Luís Moniz}, ee = {https://doi.org/10.1007/BFb0021987}, interhash = {1c0f33b5c6d9c44d4198fe2a501f0f9a}, intrahash = {b8a79df6f404fe7e06cedfdd31067710}, isbn = {3-540-58332-7}, keywords = {dblp}, pages = {400-413}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:32:08.000+0200}, title = {Extending Horn Clause Theories by Reflection Principles.}, url = {http://dblp.uni-trier.de/db/conf/jelia/jelia94.html#ConstantiniDL94}, volume = 838, year = 1994 }