Extensions and Applications of Higher-order Unification (1990)

by Conal M. Elliott
Citations:25 - 1 self