Representing multi-agent planning in CLP (2009)

by A Dovier, A Formisano, E Pontelli
Venue:In LPNMR , Lecture Notes in Computer Science