Frank van Harmelen Manfred Aben Structure-preserving specification languages for knowledge-based systems. 187-212 1996 44 Int. J. Hum.-Comput. Stud. 2 http://dx.doi.org/10.1006/ijhc.1996.0010 db/journals/ijmms/ijmms44.html#HarmelenA96