Daniel Riera Miquel Angel Piera Antoni Guasch PN to CSP Methodology: Improved Bounds. 145-158 2002 conf/ccia/2002 CCIA http://link.springer.de/link/service/series/0558/bibs/2504/25040145.htm db/conf/ccia/ccia2002.html#RieraPG02