Why horn formulas matter in computer science: Initial structures and generic examples
Article in Journal of Computer and System Sciences (April 1987)
The most recent citing publication is shown below. View this citation on Dimensions.
Article in Journal of Computer and System Sciences (April 1987)