Derek C. Oppen
Greg Nelson and Derek C. Oppen.
Fast decision procedures based on congruence closure.
Journal of the ACM
, 27(2):356-364, April 1980.
Citations.
Derek C. Oppen.
Reasoning about recursively defined data structures.
Journal of the ACM
, 27(3):403-411, July 1980.
Citations.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database