Article,

Fundamentals of forking.

, and .
Ann. Pure Appl. Log., 26 (3): 245-286 (1984)

Meta data

Tags

Users

  • @dblp

Comments and Reviews