@inproceedings{Oyster-CLaM,
  author = {Bundy, Alan and van Harmelen, Frank and Smaill, Alan and Horn, Christian},
  booktitle = {Conference on Automated Deduction (CADE)},
  pages = {647--648},
  title = {{The OYSTER-CLAM system}},
  year = {1990},
  keywords = {Automated Reasoning},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/CADE90-system.pdf"
}

{"_id":"7hY7dwnW4seFPrSNw","bibbaseid":"bundy-vanharmelen-smaill-horn-theoysterclamsystem-1990","author_short":["Bundy, A.","van Harmelen, F.","Smaill, A.","Horn, C."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Bundy"],"firstnames":["Alan"],"suffixes":[]},{"propositions":["van"],"lastnames":["Harmelen"],"firstnames":["Frank"],"suffixes":[]},{"propositions":[],"lastnames":["Smaill"],"firstnames":["Alan"],"suffixes":[]},{"propositions":[],"lastnames":["Horn"],"firstnames":["Christian"],"suffixes":[]}],"booktitle":"Conference on Automated Deduction (CADE)","pages":"647–648","title":"The OYSTER-CLAM system","year":"1990","keywords":"Automated Reasoning","urlpaper":"http://www.cs.vu.nl/~frankh/postscript/CADE90-system.pdf","bibtex":"@inproceedings{Oyster-CLaM,\r\n author = {Bundy, Alan and van Harmelen, Frank and Smaill, Alan and Horn, Christian},\r\n booktitle = {Conference on Automated Deduction (CADE)},\r\n pages = {647--648},\r\n title = {{The OYSTER-CLAM system}},\r\n year = {1990},\r\n keywords = {Automated Reasoning},\r\n urlPaper = \"http://www.cs.vu.nl/~frankh/postscript/CADE90-system.pdf\"\r\n}\r\n\r\n","author_short":["Bundy, A.","van Harmelen, F.","Smaill, A.","Horn, C."],"key":"Oyster-CLaM","id":"Oyster-CLaM","bibbaseid":"bundy-vanharmelen-smaill-horn-theoysterclamsystem-1990","role":"author","urls":{"Paper":"http://www.cs.vu.nl/~frankh/postscript/CADE90-system.pdf"},"keyword":["Automated Reasoning"],"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://www.cs.vu.nl/~frankh/abstracts/all.bib","dataSources":["9CnmDh6oPMNTwHksm"],"keywords":["automated reasoning"],"search_terms":["oyster","clam","system","bundy","van harmelen","smaill","horn"],"title":"The OYSTER-CLAM system","year":1990}