%0 Conference Paper %1 conf/slp/PedroM95 %A Pedro, Vasco %A Monteiro, Luís %B ILPS %D 1995 %E Lloyd, John W. %I MIT Press %K dblp %P 634 %T An Approach to Verification in Contextual Logic Programming. %U http://dblp.uni-trier.de/db/conf/slp/slp95.html#PedroM95 %@ 0-262-62099-5

@inproceedings{conf/slp/PedroM95, added-at = {2021-08-11T00:00:00.000+0200}, author = {Pedro, Vasco and Monteiro, Luís}, biburl = {https://www.bibsonomy.org/bibtex/2df634ac3e242d8f48b2d01ad65dabe82/dblp}, booktitle = {ILPS}, crossref = {conf/slp/1995}, editor = {Lloyd, John W.}, ee = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6299961}, interhash = {7a1cd225441f2a12491b7ddebf6eb699}, intrahash = {df634ac3e242d8f48b2d01ad65dabe82}, isbn = {0-262-62099-5}, keywords = {dblp}, pages = 634, publisher = {MIT Press}, timestamp = {2024-04-09T09:39:58.000+0200}, title = {An Approach to Verification in Contextual Logic Programming.}, url = {http://dblp.uni-trier.de/db/conf/slp/slp95.html#PedroM95}, year = 1995 }