Why Horn formulas matter for computer science: Initial structures and generic examples (1987)

by J A Makowsky
Venue:Journal of Computer and System Sciences