@inproceedings{jackson2011canonical,
author = {Jackson, Ethan and Bjørner, Nikolaj and Schulte, Wolfram},
title = {Canonical Regular Types},
booktitle = {ICLP (Technical Communications)},
year = {2011},
month = {January},
abstract = {Regular types represent sets of structured data, and have been used in logic programming (LP) for verification. However, first-class regular type systems are uncommon in LP languages. In this paper we present a new approach to regular types, based on type canonization, aimed at providing a practical first-class regular type system.},
url = {http://approjects.co.za/?big=en-us/research/publication/canonical-regular-types/},
edition = {ICLP (Technical Communications)},
}