@inproceedings{inproceedings, title = {{Constructing Strictly Positive Families.}},
publisher = {{Australian Computer Society}},
url = {{http://www.informatik.uni-trier.de/~ley/db/conf/cats/cats2007.html }},
year = {{2007}},
month = {{1}},
author = {{Morris P and Altenkirch T and Ghani N}},
volume = {{65}},
journal = {{CATS}},
pages = {{111-121}},
note = {{Accessed on 2025/01/07}}}