Book review: Graph-based proof procedures for horn clauses

Jan Kuper

Research output: Contribution to journal › Book/Film/Article review › Popular

Original language	Undefined
Pages (from-to)	137-138
Journal	Mededelingen van het Wiskundig Genootschap
Volume	1994
Publication status	Published - 26 Jan 1994

Keywords

@article{23ece810d5fb47efa2810670650d922f,

title = "Book review: Graph-based proof procedures for horn clauses",

keywords = "METIS-122855",

author = "Jan Kuper",

year = "1994",

month = jan,

day = "26",

language = "Undefined",

volume = "1994",

pages = "137--138",

journal = "Mededelingen van het Wiskundig Genootschap",

issn = "0167-2495",

publisher = "Centrum voor Wiskunde en Informatica",

}