Alessandro Agostini Modularity in Computer Assisted Reasoning Systems. 1539 1997 IJCAI db/conf/ijcai/ijcai97.html#Agostini97