Skip to content

The Automated Analysis of Rule-based Systems, Based on their Procedural Semantics.

Rick Evertsz

VenueA*IJCAI
Year1991
ProceedingsIJCAI

Browse the full IJCAI paper archive.