Joohyung Lee Yunsong Meng On Loop Formulas with Variables. 444-453 2008 KR conf/kr/2008 db/conf/kr/kr2008.html#LeeM08 http://www.aaai.org/Library/KR/2008/kr08-043.php