The automatic inference of state invariants in TIM. Forthcoming (1998)

by M Fox, D Long