@dblp

Positive negative conditional equations: a constructor-based framework for specification and inductive theorem proving.

. University of Kaiserslautern, (1997)

Links and resources

Tags