Explicit description in BI pointer logic. Unpublished (2001)

by R Bornat