First-order logical filtering (2011)

by A Shirazi, E Amir
Venue:Artificial Intelligence