A Compositional Approach to Superimposition, in (1988)

by L Bouge, N Francez
Venue:Proceedings of the International Symposium on Principles of Programming Languages (POPL), ACM