Generalized predicate completion
2005 ◽
pp. 286-295
◽