An introduction to forking (1979)

by D Lascar, B Poizat
Venue:J. Symbolic Logic