Modeling Object Dynamics in Object-Oriented Logic Programming

Publication
1996 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE’96, Donostia-San Sebastian, Spain, July 15-18, 1996