@Article{Ret05-JFM,
    Author       = "Retel, K.",
    Year         = "2005",
    Title        = "{Properties of First and Second Order Cutting of Binary
                    Relations}",
    Journal      = "Journal of Formalized Mathematics",
    Volume       = "13",
    Number       = "3",
    Pages        = "361-365",
    Comment      = "TPTPRef,RELSET_2"
}