<?xml version="1.0"?>
<dblp>
<article key="journals/jsc/DaberkowFKPRSW97" mdate="2003-11-19">
<author>Mario Daberkow</author>
<author>Claus Fieker</author>
<author>J&#252;rgen Kl&#252;ners</author>
<author>Michael Pohst</author>
<author>K. Roegner</author>
<author>M. Sch&#246;rnig</author>
<author>K. Wildanger</author>
<title>KANT V4.</title>
<pages>267-283</pages>
<year>1997</year>
<volume>24</volume>
<journal>J. Symb. Comput.</journal>
<number>3/4</number>
<url>db/journals/jsc/jsc24.html#DaberkowFKPRSW97</url>
</article>
</dblp>
