Theories with Equational Forking. - Markus Junker 001; Ingo Kraus (J. Symb. Log., 2002)