Answer set programming: towards efficient and scalable knowledge representation and reasoning : papers from the 2001 AAAI symposium ; March 26 - 28, Stanford, California by Alessandro Provetti | Menrva Books | MenrvaBooks