Characterizing Implications of Injective Partial Orders.

Jos L. Balczar, Gemma C. Garriga

Browse the full ICCS paper archive.