Deductive Query Languages for Recursively Typed Complex Objects

Richard Hull, Jianwen Su. Deductive Query Languages for Recursively Typed Complex Objects. Journal of Logic and Algebraic Programming, 35(3):231-261, 1998.

Abstract

Abstract is missing.