graph-based . proof . procedures . horn . clauses . progress . computer . science . applied . logic . raatz .
Format
Author
Status
List Price