~ tracking down this book ~
Exponential Representation and Consistency Checking for M-layer — OmList