Title: Compositionality
First published: 1998
Subjects: Congresses, Parallel processing (Electronic computers), Automatic theorem proving