A model building and management system using predicate calculus and relational framework | IEEE Conference Publication | IEEE Xplore