Properties of first and second order cutting of binary relations (2005)

by Krzysztof Retel
Venue:Formalized Mathematics