<?xml version="1.0"?>
<feed xmlns="http://www.w3.org/2005/Atom" xml:lang="en">
	<id>http://termination-portal.org/mediawiki/index.php?action=history&amp;feed=atom&amp;title=Bibtex%3ABN98</id>
	<title>Bibtex:BN98 - Revision history</title>
	<link rel="self" type="application/atom+xml" href="http://termination-portal.org/mediawiki/index.php?action=history&amp;feed=atom&amp;title=Bibtex%3ABN98"/>
	<link rel="alternate" type="text/html" href="http://termination-portal.org/mediawiki/index.php?title=Bibtex:BN98&amp;action=history"/>
	<updated>2026-05-01T13:08:05Z</updated>
	<subtitle>Revision history for this page on the wiki</subtitle>
	<generator>MediaWiki 1.34.2</generator>
	<entry>
		<id>http://termination-portal.org/mediawiki/index.php?title=Bibtex:BN98&amp;diff=318&amp;oldid=prev</id>
		<title>Spf: New page:   == BibTex == &lt;!-- Please add the BibTeX data below this comment. --&gt; &lt;bibtex&gt; @BOOK{BN98,   AUTHOR = {F. Baader and T. Nipkow},   TITLE = {Term Rewriting and All That...</title>
		<link rel="alternate" type="text/html" href="http://termination-portal.org/mediawiki/index.php?title=Bibtex:BN98&amp;diff=318&amp;oldid=prev"/>
		<updated>2008-04-02T16:43:13Z</updated>

		<summary type="html">&lt;p&gt;New page: &lt;a href=&quot;/wiki/Category:Bibtex&quot; title=&quot;Category:Bibtex&quot;&gt; &lt;/a&gt; == BibTex == &amp;lt;!-- Please add the BibTeX data below this comment. --&amp;gt; &amp;lt;bibtex&amp;gt; @BOOK{BN98,   AUTHOR = {F. Baader and T. Nipkow},   TITLE = {Term Rewriting and All That...&lt;/p&gt;
&lt;p&gt;&lt;b&gt;New page&lt;/b&gt;&lt;/p&gt;&lt;div&gt;[[Category:Bibtex| ]]&lt;br /&gt;
== BibTex ==&lt;br /&gt;
&amp;lt;!-- Please add the BibTeX data below this comment. --&amp;gt;&lt;br /&gt;
&amp;lt;bibtex&amp;gt;&lt;br /&gt;
@BOOK{BN98,&lt;br /&gt;
  AUTHOR = {F. Baader and T. Nipkow},&lt;br /&gt;
  TITLE = {Term Rewriting and All That},&lt;br /&gt;
  PUBLISHER = {Cambridge University Press},&lt;br /&gt;
  ADDRESS = {Cambridge},&lt;br /&gt;
  YEAR = 1998&lt;br /&gt;
}&lt;br /&gt;
&amp;lt;/bibtex&amp;gt;&amp;lt;!-- If you want to add some additional information to the reference page, you can do so after this comment. --&amp;gt;&lt;/div&gt;</summary>
		<author><name>Spf</name></author>
		
	</entry>
</feed>