This is the current revision of this page, as edited by imported>Pcap at 00:30, 12 August 2009 (moved Confluence (term rewriting) to Confluence (abstract rewriting): It only describes confluence in the setting of an abstract rewriting system.). The present address (URL) is a permanent link to this version.
