4 citations · 6 across the 6 of their papers we have counts for
1 paper · 1 filter
Rolf Backofen
There have been two different methods for checking the satisfiability of feature descriptions that use the functional uncertainty device, namely~\cite{Kaplan:88CO} and \cite{Backof…