@inproceedings{rauzy1991ringprolog,
author	=	{Antoine Rauzy},
title	=	{{I}ntroducing {C}onstraints over a {R}ing in {P}rolog},
booktitle	=	{Proceedings of Russian Conference of Logic Programming, RCLP'91},
publisher	=	{LNCS},
year	=	{1991}
}