Search Results - (( basic _ formalisation algorithm ) OR ( java implication based algorithm ))