@workingPaper{Backofen_1994,
title={A complete axiomatization of a theory with feature and arity constraints},
author={Backofen, Rolf},
doi={http://dx.doi.org/10.22028/D291-24956},
year={1994}
}