J. F. Pommaret Alban Quadrat 91-116 1998 9 Appl. Algebra Eng. Commun. Comput. 2 http://link.springer.de/link/service/journals/00200/bibs/8009002/80090091.htm db/journals/aaecc/aaecc9.html#PommaretQ98