other,16-2-P99-1038,ak function-argument structure </term> of a <term> sentence </term> allows a <term> deterministic , polynomial
other,41-2-P99-1038,ak problem within theories based on the <term> well-formedness </term> of <term> sentences </term> in the <term>
hide detail