System Support for Modular Order-Sorted Horn Clause Specifications.

Harald Ganzinger Renate Schäfers

Published in: ICSE (1990)

Keyphrases

horn clauses
end users
logic programs
feature space
graphical models
formal specification
predicate logic
order sorted