Resolution Proof Systems with Weak Transformation Rules.

Zbigniew Stachniak

Published in: ISSAC (1990)

Keyphrases

transformation rules
management system
distributed systems
database systems
data driven
process model