N. Alan Josephson

	1989
4		N. Alan Josephson, Nachum Dershowitz: An Implementation of Narrowing. J. Log. Program. 6(1&2): 57-77 (1989)
	1986
3		N. Alan Josephson, Nachum Dershowitz: An Implementation of Narrowing: The RITE Way. SLP 1986: 187-197
	1984
2		Nachum Dershowitz, N. Alan Josephson: Logic Programming by Completion. ICLP 1984: 313-320
	1983
1		Nachum Dershowitz, Jieh Hsiang, N. Alan Josephson, David A. Plaisted: Associative-Commutative Rewriting. IJCAI 1983: 940-944

Coauthor Index

1	Nachum Dershowitz	[1] [2] [3] [4]
2	Jieh Hsiang	[1]
3	David A. Plaisted	[1]

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page