CITATION STYLE
You, J.-H. (1988). Outer narrowing for equational theories based on constructors (pp. 727–741). https://doi.org/10.1007/3-540-19488-6_153
Mendeley helps you to discover research relevant for your work.
Save time finding and organizing research with Mendeley