Frequent Pattern Discovery in First-Order Logic.

Luc Dehaspe Frequent Pattern Discovery in First-Order Logic. 115-117 1999 12 AI Commun. 1-2 db/journals/aicom/aicom12.html#Dehaspe99