and the Semantic Web (0)

by A Asperti, L Padovani, Sacerdoti Coen, C, I HELM Schena
Venue:Theorem Proving in Higher Order Logics, 14th International Conference, TPHOLs 2001