Dynamic Mixed-Strategy Evaluation of Tabled Logic Programs.

Ricardo Rocha, Fernando M. A. Silva, Vtor Santos Costa

Browse the full ICLP paper archive.