Search results
Studia Logica > 1998 > 60 > 1 > 107-118
Automated Software Engineering > 1997 > 4 > 2 > 151-178
Studia Logica > 1997 > 59 > 3 > 345-358
Studia Logica > 1997 > 59 > 1 > 121-141
Studia Logica > 1997 > 59 > 2 > 149-177
Banach Center Publications > 1993 > 28 > 1 > 51-66