Building Large Composition Tables via Axiomatic Theories.

David A. Randell, Mark Witkowski

Browse the full KR paper archive.