@InProceedings{EKAW94,
  author =       "F. Ruiz and F. van Harmelen and M. Aben
                  and J. van de Plassche ",
  title =        "Evaluating a Formal Specification Language",
  editor =       "L. Steels and A.Th. Schreiber and W. Van de Velde",
  number =       867,
  series =       "Lecture Notes in Artificial Intelligence",
  pages =        "26--45",
  booktitle =    "A Future for Knowledge Acquisition, Proc. 8th EKAW",
  publisher =    "Springer-Verlag",
  year =         1994,
  keywords = {Specification Languages for KBS},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/EKAW94.pdf"
}

{"_id":"wmwmxiX2mSrH5wHsj","bibbaseid":"ruiz-vanharmelen-aben-vandeplassche-evaluatingaformalspecificationlanguage-1994","author_short":["Ruiz, F.","van Harmelen, F.","Aben, M.","van de Plassche, J."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["F."],"propositions":[],"lastnames":["Ruiz"],"suffixes":[]},{"firstnames":["F."],"propositions":["van"],"lastnames":["Harmelen"],"suffixes":[]},{"firstnames":["M."],"propositions":[],"lastnames":["Aben"],"suffixes":[]},{"firstnames":["J."],"propositions":["van","de"],"lastnames":["Plassche"],"suffixes":[]}],"title":"Evaluating a Formal Specification Language","editor":[{"firstnames":["L."],"propositions":[],"lastnames":["Steels"],"suffixes":[]},{"firstnames":["A.Th."],"propositions":[],"lastnames":["Schreiber"],"suffixes":[]},{"firstnames":["W.","Van"],"propositions":["de"],"lastnames":["Velde"],"suffixes":[]}],"number":"867","series":"Lecture Notes in Artificial Intelligence","pages":"26–45","booktitle":"A Future for Knowledge Acquisition, Proc. 8th EKAW","publisher":"Springer-Verlag","year":"1994","keywords":"Specification Languages for KBS","urlpaper":"http://www.cs.vu.nl/~frankh/postscript/EKAW94.pdf","bibtex":"@InProceedings{EKAW94,\r\n author = \"F. Ruiz and F. van Harmelen and M. Aben\r\n and J. van de Plassche \",\r\n title = \"Evaluating a Formal Specification Language\",\r\n editor = \"L. Steels and A.Th. Schreiber and W. Van de Velde\",\r\n number = 867,\r\n series = \"Lecture Notes in Artificial Intelligence\",\r\n pages = \"26--45\",\r\n booktitle = \"A Future for Knowledge Acquisition, Proc. 8th EKAW\",\r\n publisher = \"Springer-Verlag\",\r\n year = 1994,\r\n keywords = {Specification Languages for KBS},\r\n urlPaper = \"http://www.cs.vu.nl/~frankh/postscript/EKAW94.pdf\"\r\n}\r\n\r\n","author_short":["Ruiz, F.","van Harmelen, F.","Aben, M.","van de Plassche, J."],"editor_short":["Steels, L.","Schreiber, A.","de Velde, W. V."],"key":"EKAW94","id":"EKAW94","bibbaseid":"ruiz-vanharmelen-aben-vandeplassche-evaluatingaformalspecificationlanguage-1994","role":"author","urls":{"Paper":"http://www.cs.vu.nl/~frankh/postscript/EKAW94.pdf"},"keyword":["Specification Languages for KBS"],"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://www.cs.vu.nl/~frankh/abstracts/all.bib","dataSources":["9CnmDh6oPMNTwHksm"],"keywords":["specification languages for kbs"],"search_terms":["evaluating","formal","specification","language","ruiz","van harmelen","aben","van de plassche"],"title":"Evaluating a Formal Specification Language","year":1994}