@inproceedings{conf/elp/PereiraCA92,
  added-at = {2019-06-02T00:00:00.000+0200},
  author = {Pereira, Luís Moniz and Caires, Luís and Alferes, José Júlio},
  biburl = {https://www.bibsonomy.org/bibtex/2fa5e20f1cb8fefa2f5a316a487b7196c/dblp},
  booktitle = {ELP},
  crossref = {conf/elp/1992},
  editor = {Lamma, Evelina and Mello, Paola},
  ee = {https://www.wikidata.org/entity/Q62038960},
  interhash = {04eb4639eca03c3293c488420284e92e},
  intrahash = {fa5e20f1cb8fefa2f5a316a487b7196c},
  isbn = {3-540-56454-3},
  keywords = {dblp},
  pages = {1-23},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  timestamp = {2019-06-04T13:34:25.000+0200},
  title = {SLWV - A Theorem Prover for Logic Programming.},
  url = {http://dblp.uni-trier.de/db/conf/elp/elp92.html#PereiraCA92},
  volume = 660,
  year = 1992
}

{"_id":"QiB3DgQgYSaw6LgC7","bibbaseid":"pereira-caires-alferes-slwvatheoremproverforlogicprogramming-1992","authorIDs":[],"author_short":["Pereira, L. M.","Caires, L.","Alferes, J. J."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2019-06-02T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Pereira"],"firstnames":["Luís","Moniz"],"suffixes":[]},{"propositions":[],"lastnames":["Caires"],"firstnames":["Luís"],"suffixes":[]},{"propositions":[],"lastnames":["Alferes"],"firstnames":["José","Júlio"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/2fa5e20f1cb8fefa2f5a316a487b7196c/dblp","booktitle":"ELP","crossref":"conf/elp/1992","editor":[{"propositions":[],"lastnames":["Lamma"],"firstnames":["Evelina"],"suffixes":[]},{"propositions":[],"lastnames":["Mello"],"firstnames":["Paola"],"suffixes":[]}],"ee":"https://www.wikidata.org/entity/Q62038960","interhash":"04eb4639eca03c3293c488420284e92e","intrahash":"fa5e20f1cb8fefa2f5a316a487b7196c","isbn":"3-540-56454-3","keywords":"dblp","pages":"1-23","publisher":"Springer","series":"Lecture Notes in Computer Science","timestamp":"2019-06-04T13:34:25.000+0200","title":"SLWV - A Theorem Prover for Logic Programming.","url":"http://dblp.uni-trier.de/db/conf/elp/elp92.html#PereiraCA92","volume":"660","year":"1992","bibtex":"@inproceedings{conf/elp/PereiraCA92,\n added-at = {2019-06-02T00:00:00.000+0200},\n author = {Pereira, Luís Moniz and Caires, Luís and Alferes, José Júlio},\n biburl = {https://www.bibsonomy.org/bibtex/2fa5e20f1cb8fefa2f5a316a487b7196c/dblp},\n booktitle = {ELP},\n crossref = {conf/elp/1992},\n editor = {Lamma, Evelina and Mello, Paola},\n ee = {https://www.wikidata.org/entity/Q62038960},\n interhash = {04eb4639eca03c3293c488420284e92e},\n intrahash = {fa5e20f1cb8fefa2f5a316a487b7196c},\n isbn = {3-540-56454-3},\n keywords = {dblp},\n pages = {1-23},\n publisher = {Springer},\n series = {Lecture Notes in Computer Science},\n timestamp = {2019-06-04T13:34:25.000+0200},\n title = {SLWV - A Theorem Prover for Logic Programming.},\n url = {http://dblp.uni-trier.de/db/conf/elp/elp92.html#PereiraCA92},\n volume = 660,\n year = 1992\n}\n\n","author_short":["Pereira, L. M.","Caires, L.","Alferes, J. J."],"editor_short":["Lamma, E.","Mello, P."],"key":"conf/elp/PereiraCA92","id":"conf/elp/PereiraCA92","bibbaseid":"pereira-caires-alferes-slwvatheoremproverforlogicprogramming-1992","role":"author","urls":{"Link":"https://www.wikidata.org/entity/Q62038960","Paper":"http://dblp.uni-trier.de/db/conf/elp/elp92.html#PereiraCA92"},"keyword":["dblp"],"downloads":0},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/luis?items=1000","creationDate":"2019-06-11T10:58:16.460Z","downloads":0,"keywords":["dblp"],"search_terms":["slwv","theorem","prover","logic","programming","pereira","caires","alferes"],"title":"SLWV - A Theorem Prover for Logic Programming.","year":1992,"dataSources":["cBojyPeMQNnac3QKm"]}