Proving based on similarity.

Ken-etsu Fujita, Masateru Harao

Browse the full ALT paper archive.