Jacob M. Howe: Proof search in Lax Logic. Math. Struct. Comput. Sci. 11(4): 573-588 (2001)