“…where x~ and x~ are given by Fraser two-filter f ormuZ-a [5,6], which has received considerable attention in the literature [7][8][9][13][14][15][16][17] . Although this algorithm is easy to derive formally [9], its probabilistic justification has caused considerable difficulty, partly due to the fact that Q*(t) as t -~ T. The system (3.20) has usually been interpreted as a backward filter , and in [14][15][16][17] [14 , 15 , 17], in which papers the back ward estima te…”