We only have this paper's title and publication details.
No takes yet. Share an insight, caveat, or question.
T. E. Graedel (1999) studied this question.