D. Rajaratnam, and M. Thielscher. Australasian Conference on Artificial Intelligence, volume 8272 of Lecture Notes in Computer Science, page 271-276. Springer, (2013)
D. Rajaratnam, and M. Pagnucco. Australasian Conference on Artificial Intelligence, volume 7106 of Lecture Notes in Computer Science, page 501-510. Springer, (2011)