Inheritance in higher order logic %3A modeling and reasoning
Article, Chapter
Authors:
M. Huisman
Published:
2000
We were unable to find direct full text links for this item.