Schubert 1993b. Temporal reasoning in Timegraph I-II (1993)

by A Gerevini, L K
Venue:SIGART Bulletin