TF method: An initial framework for modelling and analysing planning domains (1998)

by Austin Tate, Stephen T Polyak, Peter Jarvis
Venue:In Proc. Knowledge Engineering and Acquisition for Planning: Bridging Theory and Practice