Title: Computational issues in calculi of partial inductive definitions