Kurt Driessens Nico Jacobs Nathalie Cossement Patrick Monsieurs Luc De Raedt Inductive Verification and Validation of the KULRoT RoboCup Team. 193-206 http://link.springer.de/link/service/series/0558/bibs/1604/16040193.htm 1998 conf/robocup/1998 RoboCup db/conf/robocup/robocup1998.html#DriessensJCMR98