@Inbook{ECAI92WS-comp,
  author =       "F. van Harmelen and R. Lopez de Mantaras and
                  J. Malec and J. Treur",
  title =        "Comparing Formal Specification Languages",
  booktitle =    "Formal Specification of Complex Reasoning Systems",
  editor =       "J. Treur and Th. Wetter",
  series =       "Workshop Series",
  publisher =    "Ellis Horwood",
  pages =        "257-282",
  year = 1992,
  keywords = {Specification Languages for KBS},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/ECAI92WS-comp.pdf"
}

{"_id":"Nk4wmtKnbBXG6cwvM","bibbaseid":"vanharmelen-demantaras-malec-treur-comparingformalspecificationlanguages-1992","author_short":["van Harmelen, F.","de Mantaras, R. L.","Malec, J.","Treur, J."],"bibdata":{"bibtype":"inbook","type":"inbook","author":[{"firstnames":["F."],"propositions":["van"],"lastnames":["Harmelen"],"suffixes":[]},{"firstnames":["R.","Lopez"],"propositions":["de"],"lastnames":["Mantaras"],"suffixes":[]},{"firstnames":["J."],"propositions":[],"lastnames":["Malec"],"suffixes":[]},{"firstnames":["J."],"propositions":[],"lastnames":["Treur"],"suffixes":[]}],"title":"Comparing Formal Specification Languages","booktitle":"Formal Specification of Complex Reasoning Systems","editor":[{"firstnames":["J."],"propositions":[],"lastnames":["Treur"],"suffixes":[]},{"firstnames":["Th."],"propositions":[],"lastnames":["Wetter"],"suffixes":[]}],"series":"Workshop Series","publisher":"Ellis Horwood","pages":"257-282","year":"1992","keywords":"Specification Languages for KBS","urlpaper":"http://www.cs.vu.nl/~frankh/postscript/ECAI92WS-comp.pdf","bibtex":"@Inbook{ECAI92WS-comp,\r\n author = \"F. van Harmelen and R. Lopez de Mantaras and\r\n J. Malec and J. Treur\",\r\n title = \"Comparing Formal Specification Languages\",\r\n booktitle = \"Formal Specification of Complex Reasoning Systems\",\r\n editor = \"J. Treur and Th. Wetter\",\r\n series = \"Workshop Series\",\r\n publisher = \"Ellis Horwood\",\r\n pages = \"257-282\",\r\n year = 1992,\r\n keywords = {Specification Languages for KBS},\r\n urlPaper = \"http://www.cs.vu.nl/~frankh/postscript/ECAI92WS-comp.pdf\"\r\n}\r\n\r\n","author_short":["van Harmelen, F.","de Mantaras, R. L.","Malec, J.","Treur, J."],"editor_short":["Treur, J.","Wetter, T."],"key":"ECAI92WS-comp","id":"ECAI92WS-comp","bibbaseid":"vanharmelen-demantaras-malec-treur-comparingformalspecificationlanguages-1992","role":"author","urls":{"Paper":"http://www.cs.vu.nl/~frankh/postscript/ECAI92WS-comp.pdf"},"keyword":["Specification Languages for KBS"],"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"inbook","biburl":"http://www.cs.vu.nl/~frankh/abstracts/all.bib","dataSources":["9CnmDh6oPMNTwHksm"],"keywords":["specification languages for kbs"],"search_terms":["comparing","formal","specification","languages","van harmelen","de mantaras","malec","treur"],"title":"Comparing Formal Specification Languages","year":1992}