A First-Order Logic with Frames.

Adithya Murali, Lucas Pea, Christof Lding, P. Madhusudan

Browse the full ESOP paper archive.