Dependent fluents, in: (1995)

by E Giunchiglia, V Lifschitz
Venue:Proceedings of IJCAI-95,