H. A. Priestley;M. P. Ward
-;-
Conditioned semantic slicing for abstraction; industrial experiment
Software—Practice & Experience
An enumeration problem in ordered sets leads to possible benchmarks for run-time prediction algorithms
ICFCA'06 Proceedings of the 4th international conference on Formal Concept Analysis