@Article{KER95,
  author =       "F. van Harmelen and D. Fensel",
  title =        "Formal Methods in Knowledge Engineering",
  journal =      "The Knowledge Engineering Review",
  volume =       10,
  number =       4,
  year =         1995,
  pages =        "345--360",
  keywords = {Specification Languages for KBS},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/KER95.pdf"
}

{"_id":"pF44ABRdw547iZ4ZQ","bibbaseid":"vanharmelen-fensel-formalmethodsinknowledgeengineering-1995","author_short":["van Harmelen, F.","Fensel, D."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["F."],"propositions":["van"],"lastnames":["Harmelen"],"suffixes":[]},{"firstnames":["D."],"propositions":[],"lastnames":["Fensel"],"suffixes":[]}],"title":"Formal Methods in Knowledge Engineering","journal":"The Knowledge Engineering Review","volume":"10","number":"4","year":"1995","pages":"345–360","keywords":"Specification Languages for KBS","urlpaper":"http://www.cs.vu.nl/~frankh/postscript/KER95.pdf","bibtex":"@Article{KER95,\r\n author = \"F. van Harmelen and D. Fensel\",\r\n title = \"Formal Methods in Knowledge Engineering\",\r\n journal = \"The Knowledge Engineering Review\",\r\n volume = 10,\r\n number = 4,\r\n year = 1995,\r\n pages = \"345--360\",\r\n keywords = {Specification Languages for KBS},\r\n urlPaper = \"http://www.cs.vu.nl/~frankh/postscript/KER95.pdf\"\r\n}\r\n\r\n","author_short":["van Harmelen, F.","Fensel, D."],"key":"KER95","id":"KER95","bibbaseid":"vanharmelen-fensel-formalmethodsinknowledgeengineering-1995","role":"author","urls":{"Paper":"http://www.cs.vu.nl/~frankh/postscript/KER95.pdf"},"keyword":["Specification Languages for KBS"],"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"article","biburl":"http://www.cs.vu.nl/~frankh/abstracts/all.bib","dataSources":["9CnmDh6oPMNTwHksm"],"keywords":["specification languages for kbs"],"search_terms":["formal","methods","knowledge","engineering","van harmelen","fensel"],"title":"Formal Methods in Knowledge Engineering","year":1995}