Towards Correct Object-Oriented Design Frameworks in Computational Logic.

Kung-Kiu Lau, Mario Ornaghi

Browse the full LOPSTR paper archive.