@dblp

From an Implicational System to its Corresponding D-basis.

, , , , and . CLA, volume 1466 of CEUR Workshop Proceedings, page 217-228. CEUR-WS.org, (2015)

Links and resources

Tags