Translating classes to first-order logic: an example.

Fangzhen Lin

Browse the full ECOOP paper archive.