%0 Conference Paper %1 conf/iclp/LopesCM94 %A Lopes, A. %A Costa, José Félix %A Montesi, Danilo %B ICLP Workshop: Process-Based Parallel Logic Programming %D 1994 %E Bosschere, Koenraad De %E Jacquet, Jean-Marie %E Brogi, Antonio %K dblp %P 88- %T Process Semantics for Resolution. %U http://dblp.uni-trier.de/db/conf/iclp/iclp94-w1.html#LopesCM94

@inproceedings{conf/iclp/LopesCM94, added-at = {2013-12-02T00:00:00.000+0100}, author = {Lopes, A. and Costa, José Félix and Montesi, Danilo}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2af1054144042d3a8b0994c40e9083982/dblp}, booktitle = {ICLP Workshop: Process-Based Parallel Logic Programming}, crossref = {conf/iclp/1994w1}, editor = {Bosschere, Koenraad De and Jacquet, Jean-Marie and Brogi, Antonio}, interhash = {16e6feba7f23154948b24ae55f5aa766}, intrahash = {af1054144042d3a8b0994c40e9083982}, keywords = {dblp}, pages = {88-}, timestamp = {2016-02-02T15:20:49.000+0100}, title = {Process Semantics for Resolution.}, url = {http://dblp.uni-trier.de/db/conf/iclp/iclp94-w1.html#LopesCM94}, year = 1994 }