@techreport{R-93-32, TITLE = {Comparing Formal Specification Languages for Complex Reasoning Systems}, AUTHOR = {Frank van Harmelen and Ramon Lo' pez de Ma' ntaras and Jacek Malec and Jan Treur}, YEAR = {1993}, NUMBER = {R-93-32}, INSTITUTION = ida, ADDRESS = idaaddr, ABSTRACT = {}, IDANR = {LiTH-IDA-R-93-32}, NOTE = {Accepted as a chapter in the book: Formal Specification of Complex Reasoning Systems. Publischer: Ellis Horwood, 1993, Editors: J Treur and Th Wetter, 1993}