tech,19-2-P99-1038,ak of a <term> sentence </term> allows a <term> deterministic , polynomial time test </term> for the <term> availability of a reading
hide detail