@article{b2841d38178248dd89fc10cd883d2d1a,
title = "A relational division operator: the conjugate kernel",
abstract = "We discuss a binary operator on relations which has division like properties. We review the mathematical properties of this operator and then investigate its relevance to program construction.",
author = "Jules Desharnais and Ali Jaoua and Fatma Mili and Noureddine Boudriga and Ali Mili",
note = "Funding Information: Correspondence to: A. Mili, Department of Computer Science, University of Ottawa, Ottawa, ON KIN 6N5, Canada. * Both supported by grants from I{\textquoteleft}Universite Laval, FCAR (Quebec) and NSERC (Canada). ** Partial support for this work has been provided by NSF. ***This work is partially supported by grants from FRST, Tunis.",
year = "1993",
month = jun,
day = "21",
doi = "10.1016/0304-3975(93)90074-4",
language = "English (US)",
volume = "114",
pages = "247--272",
journal = "Theoretical Computer Science",
issn = "0304-3975",
publisher = "Elsevier B.V.",
number = "2",
}