Plan synthesis: A logical perspective (1981)

by S J Rosenschein
Venue:In Proc. of IJCAI’81, 331–337