Extensions and Applications of Higher-order Unification (1990)

by Conal M. Elliott
Citations:27 - 1 self