A more elementary proof of the MISC@1 theorem can be obtained by using PERSON@1 systems as developed by PERSON@2 -LRB- see LOCATION@1 's book -RRB- .

An easier proof of the MISC@1 theorem can be found by using PERSON@1 systems as developed by PERSON@2 -LRB- see LOCATION@1 's book -RRB- .
