Logic for programming, artificial intelligence, and reasoning
LPAR (Conference) (17th 2010 Yogyakarta, Indonesia)