Manuel A. Martins Don Pigozzi Behavioural reasoning for conditional equations. 1075-1113 2007 17 Mathematical Structures in Computer Science 5 http://dx.doi.org/10.1017/S0960129507006305 db/journals/mscs/mscs17.html#MartinsP07