Algebraic Specification of Object Dynamics in Knowledge Base Domains.

Roel J. Wieringa, Reind P. van de Riet

Browse the full DS paper archive.